Automated Testing in Practice: The Highway Tolling System
نویسندگان
چکیده
In this paper we study the application of automated test derivation and execution based on formal specifications. The object of testing is the Payment Box (PB) of the Highway Tolling System, a device which handles electronic payments. Challenges of testing the PB are the transaction speed, parallelism and encryption. We describe a methodology for automated testing and apply this methodology to test the PB. We conclude that automation of the test process is feasible and beneficial, and evaluate our techniques, theory and tools for automated testing.
منابع مشابه
Definition of Requirements and Functions for SMART Tolling System
This paper demonstrates the requirement of smart tolling systems for smart highway. In smart highway operators and drivers would be able to see in real time the information of traffic. The smart highway is next generation road aimed at Congestion Free, Stop Free and Accident Free through traffic information services. This study defines requirements and functions for development of smart tolling...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملDetermination of Asphalt Binder VECD Parameters Using an Accelerated Testing Procedure
Fatigue characteristics of asphalt binder have an important role in asphalt mix resistance against cracking. Viscoelastic Continuum Damage (VECD) analysis of asphalt binders has been successfully used in highway research works in order to predict fatigue behavior of hot mix asphalt (HMA). In this method an intrinsic property of the material, called damage function is obtained which is independe...
متن کاملTesting of Event-triggered Real-time Systems 1 Problem Statement
The current industry practice for testing real-time applications is often based on casespeci c ad-hoc techniques. At the same, time real-time systems are often employed in environments where their correctness is of great importance, which necessitates a rigorous approach to testing. In this context, the ability to test all anticipated behaviors is strongly desirable, but in general not feasible...
متن کاملAuction-based highway reservation system an agent-based simulation study ¬リニ
Based on previous studies of a highway reservation system, this paper proposed an auction-based implementation, in which the users can bid for the right to use a route during a certain period of time. This paper models the auction system with MATSim using an agent-based simulation technique. The agents adopt their own bidding logic in the auction, and the price converges after around 130 iterat...
متن کامل